Situation theory and situation semantics
نویسنده
چکیده
Initially, situation semantics was conceived as essentially synthetic, with a mathematical ontology built up on set theory. Soon after the appearance of [4], however, the authors changed their approach and decided to handle the topic in an analytic fashion, abstracting a mathematical ontology from analyses of natural language use. Situation theory is the name they gave to the underlying mathematics that arose in that manner. From the mid 1980s onward, therefore, situation semantics was an analysis of semantic issues of natural language based on situation theory.
منابع مشابه
Critical Study
This book concerns situation semantics, a novel approach to the semantics of natural languages , which the authors have originated and which they have been developing since the beginning of the 80's; partly in collaboration with other researchers at CSLI (the Center for the Study of Language and Information, Stanford University). Situation semantics aims at the construction of a unified and mat...
متن کاملA Situation Calculus Semantics for the Prolog Cut Operator 1
Given a deenite logic program with cut, we proceed in two steps to give it a semantics. First, we delete cut from the program, and construct the basic action theory for the resulting cut-free program in the situation calculus according to (Lin and Reiter 3]). We then formalize the eeects of cut by adding to the basic action theory a situation calculus sentence that characterizes the set of situ...
متن کاملUsing Situation Theory in a Computational Language for Natural Language Processing
This paper discusses a computational language based on situation theory called astl. Astl is designed as a formal speciication language for contemporary semantic theories of natural language. Descriptions of key aspects of semantic theories may be speciied in astl and then directly executed to derive semantic representations for natural language utterances. We will outline the basic syntax and ...
متن کاملUsing a Computational Situation Theoretic Language to Investigate Contemporary Semantic Theories
One of the problems with contemporary semantic theories of natural language, such as Situation Semantics, Discourse Representation Theory and Dynamic Semantics, is that although they address similar semantic phenomena their widely diiering syntax and semantics make it diicult to compare their treatments of similar natural language semantic phenomena. It would be useful to describe these diieren...
متن کاملBelief Update, the Markovian Situation Calculus, and Discrete Event Systems
Imposing a markovian condition on the situation calculus enables the embedding of situation calculus theories into the DEVS (discrete event system speciication) modelling and simulation framework. DEVS has an algebraic formalism relying on classical systems theory, and has been used to good eeect in practical domains. The demonstrated correspondence between the situation calculus and DEVS is ba...
متن کامل